بررسی انتقادی یک نقد در بارة نظام تابع‌‌ارزشی منطق پایة گزاره‌ها؛ آیا راه‌های اثبات اصول EFQ وEQT مسدود می‌شود؟

مرتضی حاج‌حسینی؛ حمیده بهمن‌پور

دوره 23، شماره 3 ، دی 1402، ، صفحه 167-200

https://doi.org/10.48308/jipt.2023.232498.1441

چکیده
  در منطق کلاسیک، استدلال درست است اگر و تنها اگر نتیجه به کمک قاعده‌های استنتاج از مقدمه‌ها به دست آید. بر اساس این تعریف، استدلال‌های‌  P∧∼P⊢Q  و Q⊢P∨∼P درست به شمار می‌آیند. اما شهود طبیعی درستی این دو استدلال را تأیید نمی‌کند. نویسنده، در نظریة منطق پایة دو بخشی گزاره‌ها در کتاب «طرحی نو از اصول و مبانی منطق»، با ...  بیشتر